Facet browsing currently unavailable
Page 1 of 1116 results
Sort by: relevance publication year
John Fitzgerald, Peter Gorm Larsen, Marcel Verhoef (eds): Collaborative design for embedded systems JOURNAL ARTICLE published August 2019 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published November 2011 in Formal Aspects of Computing |
Editorial JOURNAL ARTICLE published May 2012 in Formal Aspects of Computing |
Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving JOURNAL ARTICLE published June 2019 in Formal Aspects of Computing |
Code obfuscation against abstraction refinement attacks JOURNAL ARTICLE published November 2018 in Formal Aspects of Computing |
Model-checking timed automata with deadlines with Uppaal JOURNAL ARTICLE published March 2013 in Formal Aspects of Computing |
Deriving bisimulation relations from path based equivalence checkers JOURNAL ARTICLE published March 2017 in Formal Aspects of Computing |
Threaded behavior protocols JOURNAL ARTICLE published July 2013 in Formal Aspects of Computing |
Sharing Analysis Based on Type Inference JOURNAL ARTICLE published December 1994 in Formal Aspects of Computing |
Exploiting augmented intelligence in the modeling of safety-critical autonomous systems JOURNAL ARTICLE published June 2021 in Formal Aspects of Computing Research funded by National Natural Science Foundation of China (62072233) | Fundamental Research Funds for the Central Universities (NP2017205) | Aviation Science Fund of China (201919052002) |
An elementary theory of product-line variations JOURNAL ARTICLE published July 2014 in Formal Aspects of Computing |
Command algebras, recursion and program transformation JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing |
Book reviews JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing |
A refinement calculus for specifications in Hennessy-Milner logic with recursion JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing |
Term rewriting and beyond — theorem proving in Isabelle JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing |
Meta-interpreters and partial evaluation in Parlog JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing |
Issues in the design of a parallel object-oriented language JOURNAL ARTICLE published March 1989 in Formal Aspects of Computing |
Modelling multiple inheritance with colimits JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing |
Defining, analysing and implementing communication protocols using attribute grammars JOURNAL ARTICLE published March 1990 in Formal Aspects of Computing |
Finite Integer Computations: An Algebraic Foundation for Their Correctness JOURNAL ARTICLE published June 2006 in Formal Aspects of Computing |